2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Compositionality: The Significant Difference, COMPOS'97
Автор:
Willem-Paul de Roever
, Автор:
Hans Langmaack
, Автор:
Amir Pnueli
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.82 Mb
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995
Автор:
Jean-Raymond Abrial
, Автор:
Egon Börger
, Автор:
Hans Langmaack
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.81 Mb
Elements of Microcomputer Interfacing
Автор:
Dines Bjorner
, Автор:
C.A.R. Hoare
, Автор:
Hans Langmaack
Размер книги: 4.14 Mb
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd
Автор:
Hans Langmaack
, Автор:
Willem-Paul de Roever
, Автор:
Jan Vytopil
Размер книги: 6.86 Mb
